Patrick Doherty - PDFSEARCH.IO - Document Search Engine

Patrick Doherty
Results: 80

#	Item
71	Declarative PTIME Queries to Relational Databases Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:32 Query languages Formal languages Programming paradigms Predicate logic Datalog FO Well-formed formula Generalization Interpretation Logic Mathematical logic Theoretical computer science
72	A Distributed Task Specification Language for Mixed-Initiative Delegation∗ Patrick Doherty David Landén Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-07 07:34:55 Tree Goal node Military terminology Signals intelligence Unmanned aerial vehicle
73	1 Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter Per Olof Pettersson and Patrick Doherty Link¨oping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:47:20 Classical mechanics Differential topology Robot control Topology Probabilistic roadmap Motion planning Unmanned aerial vehicle Flight controller Nonholonomic system Mathematics Physics Algebraic topology
74	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
75	Advanced Research with Autonomous Unmanned Aerial Vehicles Patrick Doherty Department of Computer and Information Science Link¨oping University, Sweden [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:35:59 Military National security Miniature UAV SATUMA Military terminology Signals intelligence Unmanned aerial vehicles
76	1 DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems Fredrik Heintz and Patrick Doherty Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 07:01:21 Computer programming Component-based software engineering Data types CORBA Inter-process communication Common Object Request Broker Architecture Object Application programming interface Pose Software engineering Object-oriented programming Computing
77	Preferential Action Semantics (Preliminary Report) John-Jules Ch. Meyer and Patrick Doherty Abstract In this paper, we propose a new way of considering reasoning about action and change. Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:29:17 Semantics Model theory Logic in computer science Knowledge representation Logic programming Kripke semantics Semantics of programming languages Interpretation E-Prime Logic Mathematical logic Mathematics
78	Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:59 Predicate logic Model theory Formal languages Circumscription Logic programming Well-formed formula Monadic predicate calculus Atomic formula Function Logic Mathematical logic Mathematics
79	Computing Circumscription Revisited: Preliminary Report Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:50 Predicate logic Model theory Quantification Formal languages Circumscription Skolem normal form Atomic formula Function Universal quantification Logic Mathematical logic Mathematics
80	A Response to Ken Ballen and Patrick Doherty’s article in Washington Post, Monday, June 15, 2009 By Mansoor Moaddel, Professor of Sociology, Eastern Michigan University, and Research Affiliate, Population Studies Center, Institute for Social Research, the University of Michigan, [removed] Add to Reading List Source URL: www.psc.isr.umich.edu Language: English - Date: 2009-06-18 12:30:13 Iranian reformists Iranian presidential election Mahmoud Ahmadinejad Mir-Hossein Mousavi Ali Khamenei Mehdi Karroubi Mohsen Rezaee Mohammad Khatami Politics of Iran Iran Government

UPDATE